formalized computer

[网络] 形式化计算机

热门查询

tutti　　n. 合奏；合唱 n. (Tutti)人名；(意)图蒂 adj. 全体齐奏的 adv. 全体齐奏地
telex　　n. 电传；电传机；用户直通电报 vt. 用电传拍发；用直通电报拍发 vi. 发电传；拍发直通电报
Lockyer　　a. 成把的；成簇的
diopter　　n. [光] 屈光度；屈光率单位；瞄准器；测定器
arable　　n. 耕地 adj. 适于耕种的；可开垦的 n. (Arable)人名；(英)阿拉布尔
aren't　　abbr. 不是（are not）
wa　　abbr. 华盛顿州（Washington State）；担保单独海损（with average） n. (Wa)人名；(肯、柬、缅、刚(金))瓦
share　　n. 份额；股份 vt. 分享，分担；分配 vi. 共享；分担 n. (Share)人名；(阿拉伯)沙雷
lollipop　　n. 棒棒糖
js　　n. 字母j( j的名词复数 )
younger　　n. 年纪较小者；幼辈 adj. 较年轻的 n. (Younger)人名；(英)扬格
pastured　　n. 草地；牧场；牧草 vt. 放牧；吃草 n. (Pasture)人名；(英)帕斯彻；(法)帕斯蒂尔
carnival　　n. 狂欢节，嘉年华会；饮宴狂欢
MEP　　abbr. 平均有效压力（ean Effective Pressure）；工程实践手册（Manuals of Engineering Practice）
trooper　　n. 骑兵；骑警；伞兵；部队运输船 n. (Trooper)人名；(英)特鲁珀
postwar　　n. 战后时期 adj. 战后的 adv. 战后；在战后
destabilized　　v. 使失去平衡（destabilize的过去分词） adj. 非稳定的
skull　　n. 头盖骨，脑壳
backlog　　n. [管理] 积压的工作；积压待办的事务；大木材 vt. 储备；把…积压起来
diptych　　n. 双连画；双折的记事板